Juris Hartmanis
1993年度ACMチューリング賞受賞記念講演 計算の複雑さと計算機科学の性質について 1995年07月号